// CHECK: [[# FILENUM:]] "{{.*}}/HelloWorld.c"

int main() {
  // CHECK: ENUMERATION $ET_5_10 i32 { $EC = 2 }
  { enum ET { EC = 2 }; }
  // CHECK: ENUMERATION $ET_7_10 i32 { $EC = 3 }
  { enum ET { EC = 3 }; }
  // CHECK: ENUMERATION $ET_9_10 i32 { $EC = 3 }
  { enum ET { EC = 3 }; }
  return 0;
}